| | Rosen, Kenneth H. (2007). Discrete Mathematics and Its Applications. |
| | Boston: McGraw Hill Higher Education, 6th Edition. |
| | Schorlemmer, W. Marco and Agust’i, Jaume. (1995). Theorem Proving with |
| | Transitive Relations from a Practical Point of View. Research Report, 1-12. |
| |
| | Sharp, H. (1971). Enumeration of Transitive, Step-Type Relations. Acta |
| | Mathematica Academiae Scientiarium Hungaricae Tomus, 22(3-4), 365- |
| | 371. |